State Transition Diagrams Radu Grosu Cornel
نویسندگان
چکیده
In this paper, we present a general concept of state transition diagrams well-suited for various modeling purposes. Our notation is tailored for the description of asynchronous time-independent agents. We start by proposing a graphical and textual syntax, and deene an abstract syntax for both notations. The semantics of state transition diagrams deened by translating the abstract syntax into timed port automata and to timed input/output relations on streams. To make the graphical notation practical, we partition the (possibly innnite) state space of the state transition diagrams with state predicates and deene transitions with pre-and post-conditions.
منابع مشابه
Enhancing the S YS L AB System Model with State Radu
In this report, the SysLab system model is complemented in di erent ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantics are given. Composition is de ned for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-de ned for networks of in nitely man...
متن کاملEnhancing the SysLab System Model with State
In this report the SysLab system model is complemented in di erent ways State box models are provided through timed port automata for which an op erational and a corresponding denotational semantics are given Composition is de ned for components modeled in the state box view as well as for components modeled in the black box view This composition is well de ned for networks of in nitely many co...
متن کاملReconciling Real-Time with Asynchronous Message Passing
At rst sight real time and asynchronous message passing like in SDL and ROOM seem to be incompatible Indeed these languages fail to model real time constraints accurately In this paper we show how to reconcile real time with asynchronous message passing by using an assumption which is supported by every mailing system throughout the world namely that messages are time stamped with their sending...
متن کاملFeature Specification and Refinement with State Transition Diagrams
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-based formal semantics, we provide refinement rules for STDs. Refinements define an implementation relation on STD specifications. We view features as particular refinements which add previously unspecified behavior to...
متن کامل